Petri nets for task supervision in humanoid robots
نویسندگان
چکیده
Arne Lehmann1, Ralf Mikut1, Tamim Asfour2 1 Institute of Applied Computer Science, Forschungszentrum Karlsruhe, P.O. Box 3640, 76021 Karlsruhe, Germany, Phone: ++49-7247-825749, Fax: ++49-7247-825786, E-Mail: [email protected] 2 Institute for Computer Science and Engineering (CSE), University Karlsruhe (TH), P.O. Box 6980, 76128 Karlsruhe, Germany, Phone: ++49-721-6087379, Fax: ++49-721-6088270, E-Mail: [email protected]
منابع مشابه
Motion Planning for Humanoid Robots Using Timed Petri Net and Modular State Net
In this paper, we propose a supervisory control system for motion planning of humanoid robots. The proposed system is hierarchically structured into two levels. The lower level controls and monitors the robots using modular state nets. The upper level generates an optimal sequence of motion for user’s requirements using timed Petri nets. Keywords— humanoid robot, modular state net, timed Petri ...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملReggie Davidrajuh: Petri Net Based Modelling and Control of Humanoid Robots
This paper presents an approach to model a humanoid robot as a discrete event system; the approach is based on Petri Nets. Firstly, this paper proposes representation of a human body with a system of ten interrelated links. Secondly, each link is modelled as a Petri net module resulting in ten independent modules. Thirdly, this paper proposes use of a command-dispatcher module to coordinate all...
متن کاملModelling of Walking Humanoid Robot With Capability of Floor Detection and Dynamic Balancing Using Colored Petri Net
Most humanoid robots have highly complicated structure and design of robots that are very similar to human is extremely difficult. In this paper, modelling of a general and comprehensive algorithm for control of humanoid robots is presented using Colored Petri Nets. For keeping dynamic balance of the robot, combination of Gyroscope and Accelerometer sensors are used in algorithm. Image processi...
متن کاملTime Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g. alarm) observations. We follow a so-called true concurrency approach using time Petri nets: the model defines explicitly the causality and concurrency relations between the observable events, produced by the system ...
متن کامل